1. Formal Methods and Software Development :
Author: edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Programming languages (Electronic computers),Software engineering.
2. The joy of Kotlin /
Author: Pierre-Yves Saumont.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software-- Development-- Computer programs.,Functional programming languages.,Programming languages (Electronic computers),Application software-- Development-- Computer programs.,Functional programming languages.,Programming languages (Electronic computers)
Classification :
QA76
.
62
